例句與造句

1. Realizability is one of the methods used in proof mining to extract concrete " programs " from seemingly nonconstructive mathematical proof.
2. Some of the major areas of proof theory include structural proof theory, ordinal analysis, provability logic, reverse mathematics, proof mining, automated theorem proving, and proof complexity.
3. Beyond giving insight into intuitionistic provability, realizability can be applied to prove the disjunction and existence properties for intuitionistic theories and to extract programs from proofs, as in proof mining.
4. Explosion-proof mining locomotives from " Schalker Eisenh黷te " are used in all the mines owned by " Ruhrkohle " ( today " Deutsche Steinkohle " ).
5. It's difficult to find proof mining in a sentence. 用proof mining造句挺難的